zorn maximum principle

佐东大元原理